منابع مشابه
Analytic Surgery and Analytic Torsion
Analytic surgery, as defined in [9] and [6], is a one-parameter metric deformation of a Riemannian manifold M , which stretches M across a separating hypersurface H in a cylindrical fashion; the singular limit is a complete manifold with asymptotically cylindrical ends, M . In this paper, the analysis of [9] and [6] is used to study the behaviour of analytic torsion of unitary representations u...
متن کاملAnalytic and pseudo-analytic structures
One of the questions frequently asked nowadays about model theory is whether it is still logic. The reason for asking the question is mainly that more and more of model theoretic research focuses on concrete mathematical fields, uses extensively their tools and attacks their inner problems. Nevertheless the logical roots in the case of model theoretic geometric stability theory are not only cle...
متن کاملInverting Implication
All generalisations within logic involve inverting implication. Yet, ever since Plotkin's work in the early 1970's methods of generalising rst-order clauses have involved inverting the clausal subsumption relationship. However , even Plotkin realised that this approach was incomplete. Since inversion of subsumption is central to many Inductive Logic Programming approaches, this form of incomple...
متن کاملImplication Algebras
We introduce the concepts of pre-implication algebra and implication algebra based on orthosemilattices which generalize the concepts of implication algebra, orthoimplication algebra defined by J.C. Abbott [2] and orthomodular implication algebra introduced by the author with his collaborators. For our algebras we get new axiom systems compatible with that of an implication algebra. This unifie...
متن کاملOpen Implication
We argue that the usual trace-based notions of implication and equivalence for linear temporal logics are too strong and should be complemented by the weaker notions of open implication and open equivalence. Although open implication is harder to compute, it can be used to advantage both in model checking and in synthesis. We study the difference between trace-based equivalence and open equival...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Notre Dame Journal of Formal Logic
سال: 1986
ISSN: 0029-4527
DOI: 10.1305/ndjfl/1093636609